University of Grenoble

Results: 105



#Item
11Foundations of XML Types: Tree Grammars Pierre Genevès CNRS University of Grenoble Alpes, 2016–2017

Foundations of XML Types: Tree Grammars Pierre Genevès CNRS University of Grenoble Alpes, 2016–2017

Add to Reading List

Source URL: tyrex.inria.fr

- Date: 2016-12-07 09:50:03
    12Investigating the Dynamics of Mass Action Systems Oded Maler1, Ádám Halász2, Olivier Lebeltel1, Ouri Maler 1CNRS-VERIMAG, University of Grenoble, Grenoble (France)

    Investigating the Dynamics of Mass Action Systems Oded Maler1, Ádám Halász2, Olivier Lebeltel1, Ouri Maler 1CNRS-VERIMAG, University of Grenoble, Grenoble (France)

    Add to Reading List

    Source URL: www-verimag.imag.fr

    - Date: 2013-09-05 12:40:17
      13Foundations of XML Types: An Introduction Pierre Genevès CNRS University of Grenoble Alpes, 2016–2017

      Foundations of XML Types: An Introduction Pierre Genevès CNRS University of Grenoble Alpes, 2016–2017

      Add to Reading List

      Source URL: tyrex.inria.fr

      - Date: 2016-12-07 09:50:03
        14Course: Advanced Static Analysis for XML Pierre Genevès CNRS University of Grenoble Alpes, 2016–2017

        Course: Advanced Static Analysis for XML Pierre Genevès CNRS University of Grenoble Alpes, 2016–2017

        Add to Reading List

        Source URL: tyrex.inria.fr

        - Date: 2016-12-13 16:35:05
          15Course: Introduction to Streaming Validation Pierre Genevès CNRS (slides mostly based on Marc H. Scholl’s ones) University of Grenoble Alpes, 2016–2017

          Course: Introduction to Streaming Validation Pierre Genevès CNRS (slides mostly based on Marc H. Scholl’s ones) University of Grenoble Alpes, 2016–2017

          Add to Reading List

          Source URL: tyrex.inria.fr

          - Date: 2016-12-02 11:20:26
            16Power Aware Combinational Synthesis HVC 2015 Jan L´an´ık∗ , Oded Maler∗ ∗ CNRS and The University of Grenoble

            Power Aware Combinational Synthesis HVC 2015 Jan L´an´ık∗ , Oded Maler∗ ∗ CNRS and The University of Grenoble

            Add to Reading List

            Source URL: www-verimag.imag.fr

            - Date: 2015-11-27 05:04:06
              17Assertions and Measurements for Mixed-Signal Simulation PhD Thesis Thomas Ferr`ere VERIMAG, University of Grenoble (directeur: Oded Maler)

              Assertions and Measurements for Mixed-Signal Simulation PhD Thesis Thomas Ferr`ere VERIMAG, University of Grenoble (directeur: Oded Maler)

              Add to Reading List

              Source URL: www-verimag.imag.fr

              - Date: 2016-10-31 04:39:41
                18Course: Introduction to XML Technologies Pierre Genevès CNRS University of Grenoble Alpes, 2016–2017

                Course: Introduction to XML Technologies Pierre Genevès CNRS University of Grenoble Alpes, 2016–2017

                Add to Reading List

                Source URL: tyrex.inria.fr

                - Date: 2016-12-02 11:20:26
                  19Course: Advanced Static Analysis for XML Pierre Genevès CNRS University of Grenoble Alpes, 2015–2016

                  Course: Advanced Static Analysis for XML Pierre Genevès CNRS University of Grenoble Alpes, 2015–2016

                  Add to Reading List

                  Source URL: tyrex.inria.fr

                  - Date: 2016-01-19 11:56:00
                    20Scientific interests of members of Advisory Board. Contribution from Professor Marguerite Rinaudo, Joseph Fourier University, Grenoble, France. For a very long time, Pr Rinaudo worked mainly on

                    Scientific interests of members of Advisory Board. Contribution from Professor Marguerite Rinaudo, Joseph Fourier University, Grenoble, France. For a very long time, Pr Rinaudo worked mainly on

                    Add to Reading List

                    Source URL: www.chitin2015.eu

                    - Date: 2015-01-15 04:22:40